Solving Siphons with the Minimal Cardinality for Deadlock Control
نویسنده
چکیده
By modifying the objective function and adding new constraints to a Mixed Integer Programming (MIP) method proposed by Park and Reveliotis, this chapter presents a Revised MIP (RMIP) method to directly solve siphons, called smart siphons, with the minimal cardinality as well as the minimal number of resource places. Accordingly, a proper Control Place (CP) is added for each smart siphon in order to achieve the desired control. Both efficiency and practicality of this method are proved through a theoretical proof and several examples. DOI: 10.4018/978-1-4666-4034-4.ch016
منابع مشابه
Elementary Siphons of Petri Nets and Deadlock Control in FMS
For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are...
متن کاملAn Incremental Approach to Extracting Minimal Bad Siphons
Finding all minimal bad siphons is essential for deadlock control. However, the number of siphons grows exponentially with the size of the system. Deadlock occurs due to inappropriate resource sharing. Hence most research focused on the problem of minimal siphon extraction covering a set of places representing resources — an NP-Complete problem for arbitrary Petri Nets. We develop the theory fo...
متن کاملA Method Based on Depth-first Search to Compute All Minimal Siphons
Minimal siphons play an important role in the development of deadlock control policies for discrete event system modeled by Petri net. A new algorithm based on depth-first search of problem decomposition process is proposed to compute all minimal siphons in an ordinary Petri net. The algorithm can reduce the number of problems in the problem list. The proposed algorithm can solve the problem of...
متن کاملFlexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons
A computer simulation system, which is based-siphon Petri net for control of concurrent processes of the reusable resources, that is mainly aimed to provide guidelines for control and management engineering of flexible manufacturing systems (FMSs) is presented in this work. We present an important technique for the analysis of siphon Petri net (PN) based on structural analysis, control, and sim...
متن کاملFlexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons
A computer simulation system, which is based-siphon Petri net for control of concurrent processes of the reusable resources, that is mainly aimed to provide guidelines for control and management engineering of flexible manufacturing systems (FMSs) is presented in this work. We present an important technique for the analysis of siphon Petri net (PN) based on structural analysis, control, and sim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015